Integrand size = 23, antiderivative size = 590 \[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=-\frac {a b x}{c e}-\frac {b^2 x \arctan (c x)}{c e}+\frac {(a+b \arctan (c x))^2}{2 c^2 e}+\frac {x^2 (a+b \arctan (c x))^2}{2 e}+\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2}{1-i c x}\right )}{e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {b^2 \log \left (1+c^2 x^2\right )}{2 c^2 e}-\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2}{1-i c x}\right )}{2 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2} \]
[Out]
Time = 0.36 (sec) , antiderivative size = 590, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.304, Rules used = {5036, 4946, 4930, 266, 5004, 5100, 4968} \[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=\frac {(a+b \arctan (c x))^2}{2 c^2 e}-\frac {i b d \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right ) (a+b \arctan (c x))}{e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {e} x+\sqrt {-d}\right )}{\left (\sqrt {-d} c+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {d \log \left (\frac {2}{1-i c x}\right ) (a+b \arctan (c x))^2}{e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{(1-i c x) \left (c \sqrt {-d}-i \sqrt {e}\right )}\right )}{2 e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{(1-i c x) \left (c \sqrt {-d}+i \sqrt {e}\right )}\right )}{2 e^2}+\frac {x^2 (a+b \arctan (c x))^2}{2 e}-\frac {a b x}{c e}-\frac {b^2 x \arctan (c x)}{c e}+\frac {b^2 \log \left (c^2 x^2+1\right )}{2 c^2 e}+\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2}{1-i c x}\right )}{2 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {e} x+\sqrt {-d}\right )}{\left (\sqrt {-d} c+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2} \]
[In]
[Out]
Rule 266
Rule 4930
Rule 4946
Rule 4968
Rule 5004
Rule 5036
Rule 5100
Rubi steps \begin{align*} \text {integral}& = \frac {\int x (a+b \arctan (c x))^2 \, dx}{e}-\frac {d \int \frac {x (a+b \arctan (c x))^2}{d+e x^2} \, dx}{e} \\ & = \frac {x^2 (a+b \arctan (c x))^2}{2 e}-\frac {(b c) \int \frac {x^2 (a+b \arctan (c x))}{1+c^2 x^2} \, dx}{e}-\frac {d \int \left (-\frac {(a+b \arctan (c x))^2}{2 \sqrt {e} \left (\sqrt {-d}-\sqrt {e} x\right )}+\frac {(a+b \arctan (c x))^2}{2 \sqrt {e} \left (\sqrt {-d}+\sqrt {e} x\right )}\right ) \, dx}{e} \\ & = \frac {x^2 (a+b \arctan (c x))^2}{2 e}+\frac {d \int \frac {(a+b \arctan (c x))^2}{\sqrt {-d}-\sqrt {e} x} \, dx}{2 e^{3/2}}-\frac {d \int \frac {(a+b \arctan (c x))^2}{\sqrt {-d}+\sqrt {e} x} \, dx}{2 e^{3/2}}-\frac {b \int (a+b \arctan (c x)) \, dx}{c e}+\frac {b \int \frac {a+b \arctan (c x)}{1+c^2 x^2} \, dx}{c e} \\ & = -\frac {a b x}{c e}+\frac {(a+b \arctan (c x))^2}{2 c^2 e}+\frac {x^2 (a+b \arctan (c x))^2}{2 e}+\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2}{1-i c x}\right )}{e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}-\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2}{1-i c x}\right )}{2 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2}-\frac {b^2 \int \arctan (c x) \, dx}{c e} \\ & = -\frac {a b x}{c e}-\frac {b^2 x \arctan (c x)}{c e}+\frac {(a+b \arctan (c x))^2}{2 c^2 e}+\frac {x^2 (a+b \arctan (c x))^2}{2 e}+\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2}{1-i c x}\right )}{e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}-\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2}{1-i c x}\right )}{2 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2}+\frac {b^2 \int \frac {x}{1+c^2 x^2} \, dx}{e} \\ & = -\frac {a b x}{c e}-\frac {b^2 x \arctan (c x)}{c e}+\frac {(a+b \arctan (c x))^2}{2 c^2 e}+\frac {x^2 (a+b \arctan (c x))^2}{2 e}+\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2}{1-i c x}\right )}{e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}-\frac {d (a+b \arctan (c x))^2 \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {b^2 \log \left (1+c^2 x^2\right )}{2 c^2 e}-\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {i b d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e^2}+\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2}{1-i c x}\right )}{2 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2}-\frac {b^2 d \operatorname {PolyLog}\left (3,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e^2} \\ \end{align*}
Both result and optimal contain complex but leaf count is larger than twice the leaf count of optimal. \(1520\) vs. \(2(590)=1180\).
Time = 13.44 (sec) , antiderivative size = 1520, normalized size of antiderivative = 2.58 \[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=\frac {-4 a b c e x+2 a^2 c^2 e x^2+4 a b e \arctan (c x)-4 b^2 c e x \arctan (c x)+4 a b c^2 e x^2 \arctan (c x)+2 b^2 e \arctan (c x)^2+2 b^2 c^2 e x^2 \arctan (c x)^2-8 i a b c^2 d \arcsin \left (\sqrt {\frac {c^2 d}{c^2 d-e}}\right ) \arctan \left (\frac {c e x}{\sqrt {c^2 d e}}\right )+8 a b c^2 d \arctan (c x) \log \left (1+e^{2 i \arctan (c x)}\right )+4 b^2 c^2 d \arctan (c x)^2 \log \left (1+e^{2 i \arctan (c x)}\right )+4 a b c^2 d \arcsin \left (\sqrt {\frac {c^2 d}{c^2 d-e}}\right ) \log \left (1+\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )-4 a b c^2 d \arctan (c x) \log \left (1+\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )+4 b^2 c^2 d \arcsin \left (\sqrt {\frac {c^2 d}{c^2 d-e}}\right ) \arctan (c x) \log \left (1+\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )-4 b^2 c^2 d \arctan (c x)^2 \log \left (1+\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )-4 a b c^2 d \arcsin \left (\sqrt {\frac {c^2 d}{c^2 d-e}}\right ) \log \left (\frac {-2 \sqrt {c^2 d e} e^{2 i \arctan (c x)}+e \left (-1+e^{2 i \arctan (c x)}\right )+c^2 d \left (1+e^{2 i \arctan (c x)}\right )}{c^2 d-e}\right )-4 a b c^2 d \arctan (c x) \log \left (\frac {-2 \sqrt {c^2 d e} e^{2 i \arctan (c x)}+e \left (-1+e^{2 i \arctan (c x)}\right )+c^2 d \left (1+e^{2 i \arctan (c x)}\right )}{c^2 d-e}\right )-4 b^2 c^2 d \arcsin \left (\sqrt {\frac {c^2 d}{c^2 d-e}}\right ) \arctan (c x) \log \left (\frac {-2 \sqrt {c^2 d e} e^{2 i \arctan (c x)}+e \left (-1+e^{2 i \arctan (c x)}\right )+c^2 d \left (1+e^{2 i \arctan (c x)}\right )}{c^2 d-e}\right )-4 b^2 c^2 d \arctan (c x)^2 \log \left (\frac {-2 \sqrt {c^2 d e} e^{2 i \arctan (c x)}+e \left (-1+e^{2 i \arctan (c x)}\right )+c^2 d \left (1+e^{2 i \arctan (c x)}\right )}{c^2 d-e}\right )+4 b^2 c^2 d \arcsin \left (\sqrt {\frac {c^2 d}{c^2 d-e}}\right ) \arctan (c x) \log \left (\frac {2 i c^2 d-2 i \sqrt {c^2 d e}+2 c \left (-e+\sqrt {c^2 d e}\right ) x}{\left (c^2 d-e\right ) (i+c x)}\right )+2 b^2 c^2 d \arctan (c x)^2 \log \left (\frac {2 i c^2 d-2 i \sqrt {c^2 d e}+2 c \left (-e+\sqrt {c^2 d e}\right ) x}{\left (c^2 d-e\right ) (i+c x)}\right )+2 b^2 e \log \left (1+c^2 x^2\right )-2 a^2 c^2 d \log \left (d+e x^2\right )-4 b^2 c^2 d \arcsin \left (\sqrt {\frac {c^2 d}{c^2 d-e}}\right ) \arctan (c x) \log \left (1+\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) (\cos (2 \arctan (c x))+i \sin (2 \arctan (c x)))}{c^2 d-e}\right )+2 b^2 c^2 d \arctan (c x)^2 \log \left (1+\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) (\cos (2 \arctan (c x))+i \sin (2 \arctan (c x)))}{c^2 d-e}\right )-4 i b c^2 d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,-e^{2 i \arctan (c x)}\right )+2 i b c^2 d (a+b \arctan (c x)) \operatorname {PolyLog}\left (2,\frac {\left (-c^2 d-e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )+2 i a b c^2 d \operatorname {PolyLog}\left (2,-\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )+2 i b^2 c^2 d \arctan (c x) \operatorname {PolyLog}\left (2,-\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )+2 b^2 c^2 d \operatorname {PolyLog}\left (3,-e^{2 i \arctan (c x)}\right )-b^2 c^2 d \operatorname {PolyLog}\left (3,\frac {\left (-c^2 d-e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )-b^2 c^2 d \operatorname {PolyLog}\left (3,-\frac {\left (c^2 d+e+2 \sqrt {c^2 d e}\right ) e^{2 i \arctan (c x)}}{c^2 d-e}\right )}{4 c^2 e^2} \]
[In]
[Out]
\[\int \frac {x^{3} \left (a +b \arctan \left (c x \right )\right )^{2}}{e \,x^{2}+d}d x\]
[In]
[Out]
\[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=\int { \frac {{\left (b \arctan \left (c x\right ) + a\right )}^{2} x^{3}}{e x^{2} + d} \,d x } \]
[In]
[Out]
\[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=\int \frac {x^{3} \left (a + b \operatorname {atan}{\left (c x \right )}\right )^{2}}{d + e x^{2}}\, dx \]
[In]
[Out]
\[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=\int { \frac {{\left (b \arctan \left (c x\right ) + a\right )}^{2} x^{3}}{e x^{2} + d} \,d x } \]
[In]
[Out]
\[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=\int { \frac {{\left (b \arctan \left (c x\right ) + a\right )}^{2} x^{3}}{e x^{2} + d} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {x^3 (a+b \arctan (c x))^2}{d+e x^2} \, dx=\int \frac {x^3\,{\left (a+b\,\mathrm {atan}\left (c\,x\right )\right )}^2}{e\,x^2+d} \,d x \]
[In]
[Out]